Optimal. Leaf size=79 \[ -\frac {\log \left (-\frac {b c-a d}{d (a+b x)}\right ) \left (A+B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )}{b}+\frac {B n \text {Li}_2\left (1+\frac {b c-a d}{d (a+b x)}\right )}{b} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.14, antiderivative size = 79, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 5, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.161, Rules used = {2542, 2458,
2378, 2370, 2352} \begin {gather*} \frac {B n \text {PolyLog}\left (2,\frac {b c-a d}{d (a+b x)}+1\right )}{b}-\frac {\log \left (-\frac {b c-a d}{d (a+b x)}\right ) \left (B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+A\right )}{b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2352
Rule 2370
Rule 2378
Rule 2458
Rule 2542
Rubi steps
\begin {align*} \int \frac {A+B \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{a+b x} \, dx &=\int \left (\frac {A}{a+b x}+\frac {B \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{a+b x}\right ) \, dx\\ &=\frac {A \log (a+b x)}{b}+B \int \frac {\log \left (e (a+b x)^n (c+d x)^{-n}\right )}{a+b x} \, dx\\ &=\frac {A \log (a+b x)}{b}-\frac {B \log \left (-\frac {b c-a d}{d (a+b x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac {(B (b c-a d) n) \int \frac {\log \left (-\frac {b c-a d}{d (a+b x)}\right )}{(a+b x) (c+d x)} \, dx}{b}\\ &=\frac {A \log (a+b x)}{b}-\frac {B \log \left (-\frac {b c-a d}{d (a+b x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac {(B (b c-a d) n) \text {Subst}\left (\int \frac {\log \left (-\frac {b c-a d}{d x}\right )}{x \left (\frac {b c-a d}{b}+\frac {d x}{b}\right )} \, dx,x,a+b x\right )}{b^2}\\ &=\frac {A \log (a+b x)}{b}-\frac {B \log \left (-\frac {b c-a d}{d (a+b x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b}-\frac {(B (b c-a d) n) \text {Subst}\left (\int \frac {\log \left (-\frac {(b c-a d) x}{d}\right )}{\left (\frac {b c-a d}{b}+\frac {d}{b x}\right ) x} \, dx,x,\frac {1}{a+b x}\right )}{b^2}\\ &=\frac {A \log (a+b x)}{b}-\frac {B \log \left (-\frac {b c-a d}{d (a+b x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b}-\frac {(B (b c-a d) n) \text {Subst}\left (\int \frac {\log \left (-\frac {(b c-a d) x}{d}\right )}{\frac {d}{b}+\frac {(b c-a d) x}{b}} \, dx,x,\frac {1}{a+b x}\right )}{b^2}\\ &=\frac {A \log (a+b x)}{b}-\frac {B \log \left (-\frac {b c-a d}{d (a+b x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac {B n \text {Li}_2\left (\frac {b (c+d x)}{d (a+b x)}\right )}{b}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.06, size = 95, normalized size = 1.20 \begin {gather*} \frac {\log (a+b x) \left (-B n \log (a+b x)+2 \left (A+B n \log \left (\frac {b (c+d x)}{b c-a d}\right )+B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )\right )+2 B n \text {Li}_2\left (\frac {d (a+b x)}{-b c+a d}\right )}{2 b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
4.
time = 0.50, size = 523, normalized size = 6.62
method | result | size |
risch | \(-\frac {B \ln \left (b x +a \right ) \ln \left (\left (d x +c \right )^{n}\right )}{b}+\frac {B n \dilog \left (\frac {-a d +c b +\left (b x +a \right ) d}{-a d +c b}\right )}{b}+\frac {B n \ln \left (b x +a \right ) \ln \left (\frac {-a d +c b +\left (b x +a \right ) d}{-a d +c b}\right )}{b}+\frac {i B \ln \left (b x +a \right ) \pi \,\mathrm {csgn}\left (i \left (b x +a \right )^{n}\right ) \mathrm {csgn}\left (i \left (b x +a \right )^{n} \left (d x +c \right )^{-n}\right )^{2}}{2 b}+\frac {i B \ln \left (b x +a \right ) \pi \,\mathrm {csgn}\left (i \left (d x +c \right )^{-n}\right ) \mathrm {csgn}\left (i \left (b x +a \right )^{n} \left (d x +c \right )^{-n}\right )^{2}}{2 b}+\frac {i B \ln \left (b x +a \right ) \pi \,\mathrm {csgn}\left (i e \right ) \mathrm {csgn}\left (i e \left (d x +c \right )^{-n} \left (b x +a \right )^{n}\right )^{2}}{2 b}+\frac {i B \ln \left (b x +a \right ) \pi \,\mathrm {csgn}\left (i \left (b x +a \right )^{n} \left (d x +c \right )^{-n}\right ) \mathrm {csgn}\left (i e \left (d x +c \right )^{-n} \left (b x +a \right )^{n}\right )^{2}}{2 b}+\frac {A \ln \left (b x +a \right )}{b}+\frac {B \ln \left (b x +a \right ) \ln \left (e \right )}{b}+\frac {B \ln \left (\left (b x +a \right )^{n}\right )^{2}}{2 b n}-\frac {i B \ln \left (b x +a \right ) \pi \mathrm {csgn}\left (i \left (b x +a \right )^{n} \left (d x +c \right )^{-n}\right )^{3}}{2 b}-\frac {i B \ln \left (b x +a \right ) \pi \mathrm {csgn}\left (i e \left (d x +c \right )^{-n} \left (b x +a \right )^{n}\right )^{3}}{2 b}-\frac {i B \ln \left (b x +a \right ) \pi \,\mathrm {csgn}\left (i \left (b x +a \right )^{n}\right ) \mathrm {csgn}\left (i \left (d x +c \right )^{-n}\right ) \mathrm {csgn}\left (i \left (b x +a \right )^{n} \left (d x +c \right )^{-n}\right )}{2 b}-\frac {i B \ln \left (b x +a \right ) \pi \,\mathrm {csgn}\left (i e \right ) \mathrm {csgn}\left (i \left (b x +a \right )^{n} \left (d x +c \right )^{-n}\right ) \mathrm {csgn}\left (i e \left (d x +c \right )^{-n} \left (b x +a \right )^{n}\right )}{2 b}\) | \(523\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {A + B \log {\left (e \left (a + b x\right )^{n} \left (c + d x\right )^{- n} \right )}}{a + b x}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {A+B\,\ln \left (\frac {e\,{\left (a+b\,x\right )}^n}{{\left (c+d\,x\right )}^n}\right )}{a+b\,x} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________